Invariant imbedding and transport theory: A unified approach

Generalized Invariant Imbedding Relation.

Dissipation Functions and Invariant Imbedding, I.

استفاده از روش Invariant-Imbedding در حال مسائل Unit operation

A Unified Approach to Theory Reasoning

Theory reasoning is a kind of two-level reasoning in automated theorem proving, where the knowledge of a given domain or theory is separated and treated by special purpose inference rules. We define a classification for the various approaches for theory reasoning which is based on the syntactic concepts of literal level — term level — variable level. The main part is a review of theory extensio...

Invariant Imbedding and the Integration of Hamilton's Equations